a negative commitment on the part of the speaker to the actuality of a proposition expressed in a clause. Example: in If you had pressed this button, the door would have opened, the speaker has expressed a commitment to the proposition that you didn't press the button. (Section 17.3.1)