B. Spector and Y. Sudo, “Presupposed Ignorance and Exhaustification”, SuB, vol. 19, pp. 628–640, May 2019.