AASL 2.7.3 The discriminant