T. Roeper, “How the Emergence of Propositions Separates Strict Interfaces from General Interface”, SuB, vol. 15, pp. 55–78, May 2019.