Formal (1)