\begin{proposition}\label{exact_relation_expression_missing_pair}
    Then $a\mathrel{R}b$.
\end{proposition}
