This page belongs to David Sedley and all rights belong to him. It was realized in cooperation with Tom Vollerthun, who rearranged its contents, i.e. made the layout and menus.