Prove boolean propositions