\subsection{Interaction Rules}
\label{sec:interaction-rules}

% This subsection talks about the interaction rules that implement the symbolic simplification