\import{set.tex}

\begin{proposition}\label{phase5_quantified_subject}
    Then every element of $A$ is an element of $B$.
\end{proposition}

\begin{proposition}\label{phase5_explicit_quantifier}
    Then for all $x\in A$ we have $x\in B$.
\end{proposition}
