FORMAL > FORMAL 1 | FORMAL 2