proof read propositions and notations