Formal and Semi-Formal