Kleine foutjes uit formal definition and subsection title