Breheny, R. Exhaustivity, Homogeneity and Definiteness. Proceedings of the AC 2005, 59-64. https://doi.org/10.53437/mqrzjg25.