| Justification = Simple-Justification | Proof . | ||
| Simple-Justification = Straightforward-Justification | Scheme-Justification . | ||
| Proof = | ||
| ( proof | @proof ) | ||
| Reasoning | ||
| end . | ||
| Straightforward-Justification = [ by References ] . | ||
| Scheme-Justification = from Scheme-Identifier [ ( References ) ] . | ||
Last modified: June 26, 2000