laws

extend

leftIdentity

IsoLaws