Propositions_as_sets