A Note on Omitting Types in Propositional Logic Introduction