FORMAL (6)