Title: Harold Hardy's revenge