Casuality Theory.

There's wisdom in types.