Consider a strict-recessive model (
) with random
mating and Hardy-Weinberg equilibrium at the DS locus, and the
following extreme form of environmental covariance:
For this model, the ASP IBD probabilities for 
are given by
Hence, 
and 
for 
, and
Assumption G1 is necessary for the triangle constraints.