Formalisation of economy