Li-Fan Chen says to YSITD
m1v1 = m2v2 m1v1v1 = m2v2v2