John Earman's web page has moved.
You will be redirected in 3 seconds.