Mathematician:J. Myhill