Propositional Logic Framework: Assume a premise p and a hypothesis h. and if p and h are neutral, they remain neutral.
if the premise or hypothesis is in conjunction with a statement that is independently true in all worlds, the entailment relation is preserved.