Correctness/
Hypotheses/
Lemmas/
Processes/
Protocol/