Pour-El M.B.,Kripke S. ...