Text this: Formalisation Through Taxation