3 ms·

What if they link the axioms for the classes and leave it as an exercise to the reader to derive the syllabi?