The axioms of (Eves 1997: 111), for instance, include (1), (2), (L3) and (M3).
Aksioma-aksioma pada (Eves 1997: 111), misalnya, melibatkan (1), (2), (L3) dan (M3).