f takes a unique value at each locus