Explain in Prosa's style guidelines that the explicit forall is no accident.
forall
Closes: #86 (closed)