Find!
k1=g1 is a complement of k2=m1 in state k3 making it complete in property m2 by standard m3.
See also mulno, mulgau, kansa.