I need help working through the format for Labeled Statements. I have not had occasion to deal with them for years and now I see some big questions in the Code. When the Code tells us to use double caps for the label (Postulate, Theorem, etc.) I can't tell if if means ALWAYS do this, or only when the body of the statement is shown in non-regular type.
Also, the format directives are a bit lacking. If the labeled statement, such as Theorem, begins a formal proof, we have to skip a line before it and after the end of the proof. But if it is just a a Postulate, do we skip above and below?
And furthermore, what if the text doesn't say only Postulate? What if is says Side-Angle-Side Postulate?
Dorothy - I know you will help me walk through this. TIA bt