 Given E!A and a bit of propositional logic, all instances of Q2 follow immediately from FQ2, and all instances of Id1 follow from FQ2 and  ∀Id1.[89]  But, because of the restriction in Nec*, their necessitations do not.