Credit Piotr Trojanek for all of his documentation fixes.
Note in the VBG example that it really presents the Morse-Kelley axioms.

Based on a reading of the relevant Wikipedia articles (eek).