favmapti lujvo

f1=m1 is homologous to f1=m2 in property/aspect m3