discussion.tex

\chapter{Discussion}
\label{ch:discussion}

\begin{itemize}
    \item Generalize to functions over powersets, tuples, sequences. These are functions that are not expressible in FOL, but is expressable in STT. check topology 
\end{itemize}