\Diamond \forall x Fx \rightarrow \forall x\Diamond Fx [REF].
In English, the schema reads: If possibly everything is F, then everything is possibly F. It is equivalent in a classical modal logic (but not necessarily in other formulations of modal logic) to .