Essentially undecidable