This essay by the team behind a leading logical model shows the machine’s work, and theirs, in a poignant way that invites us ...