We only need one rule for mu and one rule for nu in muGV
unnecessary derivation in the transformation of cofix
todo