Jockusch C.G. Jr.,Solovay R.M. ...