F\subseteq \textbf{P}E