verclibau lujvo

b1=c3 is a native language of b2=v1=c1 to express b3.