⁷¹ Hardy, Life and Work, 123.