Equality

Typing truth to power.