X-MAS FORMAL