Under random mating and Hardy-Weinberg equilibrium, the triangle
constraints hold regardless of the penetrances. However, Assumption M1 is necessary for the triangle constraints when we
allow arbitrary mating type frequencies. An extreme example is that of a diallelic model with over-dominance, 
, and mating type frequency 
. Then, for ASPs, 
.