Removed the notation-chapter.