Formalization Of Economy