Before revision: Simple propositions do not have other propositions as their parts , but .
After revision: Simple propositions do not have other propositions as their parts .