Removed the logic theories from the classification chapter.