"E. G. Hardy"