type of law Deductions metaclass is for example type of law ⇐ (type of law is a metaclass), (is a is inverse of is for example) type of law is for example constitution ⇐ (constitution is a type of law), (is a is inverse of is for example)