Removed line in finalproject.agda