From the estate of mathematician Robert Solovay.