How many constituent propositions are in the source conditional?