We assume that most loci are initially monomorphic 2. Model