 Intuitively, a situation that exemplifies a proposition p is one that does not contain anything that does not contribute to the truth of p. The first part of (29) allows two possibilities for a situation s to exemplify p. Either p is true in all subsituations of s or s is a minimal situation in which p is true. The notion of minimality appealed to in (29) is the standard one: A situation is a minimal situation in which a proposition p is true iff it has no proper parts in which p is true. The situation Mud (Case One below) gives a first illustration of what (29) does.