Describir: Computer verification for historians of philosophy.