no more undecidable instance