Roeper, T. How the Emergence of Propositions Separates Strict Interfaces from General Interface. SuB 2019, 15, 55-78.