Before revision: In both the vector space for propositional logic the origin represents "nothing".
After revision: and the space for predicate logicIn both the vector space for propositional logic the origin represents "nothing".