 Advocates of the algebraic approach such as Zalta, like the neo-Russellians and the advocates of structured meaning approaches, think that a good theory of propositions must allow for distinct, necessarily equivalent propositions. Thus, he writes: