Martin Davis — NEBULA