(\forall_F U,V)(\exists_F W )\left[W\subseteq U\cap V\right]