Solovay en 1976.