all

All propositions flattened