Formal system