Reindent and delete conclusion