3 ms·Correct, if you don't ensure the necessary preconditions are met you quickly run into undecidable problems.by dw-im-here 5y agoCorrect, if you don't ensure the necessary preconditions are met you quickly run into undecidable problems.