I am wondering how to proceed with a stamen/reason proof in a UEB with Nemeth context. First do I use the Nemeth TN note for Statement/Reason. Second Do I only do the Statements in the UEB with/Nemeth bubble?
The format for a formal proof is determined by the Nemeth Code. However, even within a statement/reason proof, only technical material belongs in “Nemeth bubbles.”