write section on discriminant enumeration...