All in the Mind—but Not in the Software - Hoare, C (2015)