Martin Davis — dig