tefsujme'o lujvo

m1 is a polynomial in t2 of degree t3 interpreted by rules m2