\subsection{Summary}
% TODO: points to be added to 5.3