tairmupli lujvo

m1=t2 is a t1 form of m3