\newsection
\section{Relational Logic \& Algebra}
\input{parts/01_relational-logic/00_intro.tex}
% \input{parts/01_relational-logic/}