\section{Motivation}

As we have mentioned in \ref{sec:lamrelated}, N-Prolog, and a fortiori hhf are \emph{not} closed under complementation. Differently from how we have approached tha analogous issue \wrt term complementation