Oh, how insensitive from my part. I didn't realize this was done to memorialize Sir Tony Hoare. Thanks for the answer, and apologies for such a frivolous question.