FORMAL DEEP BLUE-MET.