Supermath

Supermath is the logic for the true nature of instances and identities