L4 (Explicit)

Trevor's Axiom (Explicit)