Formal and Semi