Exhaustivity, Homogeneity & Definiteness