R. Breheny, “Exhaustivity, homogeneity and definiteness”, Proceedings of the AC, pp. 59–64, Dec. 2005, doi: 10.53437/mqrzjg25.