 The technical result established in the paper is: Classical propositional logic is interpretable in an intuitionistically acceptable fragment of it. The intuitionistic fragment, called \(\mathbf{B}\) (presumably for “Brouwer”) is: