  (One might observe that, strictly speaking, (1) and (2), being biconditionals, are not ontologically committed to anything. Their respective commitments to facts and states of affairs arise only when they are combined with claims to the effect that there is something that is true and something that is false. The discussion assumes some such claims as given.)