D. Fox, “Partition by exhaustification: Comments on Dayal 1996”, SuB, vol. 22, no. 1, pp. 403–434, May 2019.