Essay sample library > A major success for computer-assisted proof