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