FORMAL-012_03