Correct, if you don't ensure the necessary preconditions are met you quickly run into undecidable problems.