M1 -> A, gammaM1toA, NA B -> A, gammaBtoA, NA A <-> A, sigmaAA, NA B <-> B, sigmaBB, NA M1 <-> M1, sigmaM1M1,NA