S1 Every haplotype h in H is different from all other haplotypes in H.
S2 Haplotype i is not generated (used to explain genotypes), unless i-1 is already generated.