W. W. Greg on his 80th birthday