\section{Further results}

\subsection{Equational theories}
\todo{Mention PVBC}

\subsection{Modal and second order theories}
\todo{Mention links with ramification/sortedness}