Title: Formalisation Through Taxation