FORMAL > FORMAL 1