FORMAL > FORMAL 2