Breheny, R. Exhaustivity, Homogeneity and Definiteness. Proceedings of the AC 2005, 59-64.