Exhaustive propositions