In proof theory, a formal deductive system $S$ is sound if $\vdash_S \phi \implies \models \phi$, and complete if $\models \phi \implies \vdash_S \phi$. Suppose we modify classical propositional logic by removing the rule of Modus Ponens but keeping all standard axiom schemas. Which of the following is true about this modified system $S'$?