HARIOT (Thomas), See HARRIOT.