Signature

There is a logic that is, and a logic that should be.