propositions and reveals