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

% This subsections gives the proof for each interaction rule
