\chapter{Residuation}
\label{chapt.residuation}

%let thesis = True
%include paper.lhs

%if False

explain:

lifetime management with visits
defer + satisfyability!

%endif