Finite MTerm Eval norm le