\section{Zustand/Speicher}

\input{state/intro}
\input{state/store}
\input{state/eval}
\input{state/bind}
\input{state/rec}
\input{state/op}
\input{state/fix}
\input{state/prak}

% \input{state/sugar}
% \input{state/sema}

% \input{state/muvar}
% \input{state/assconv}

