Formalisation Through Taxation