Undecidable instances are rarely a good idea