| Correctness-Conditions = | |
| { Correctness-Condition } | |
| [ correctness Justification ; ] . | |
| Correctness-Condition = | |
| existence Justification ; | | |
| uniqueness Justification ; | | |
| coherence Justification ; | | |
| compatibility Justification ; | | |
| consistency Justification ; . | |
Last modified: June 26, 2000