Hoare's papers were some of my favorite. Rest in peace