propositions and theorem
notes