Yes, that is correct. Any use of the sledgehammer makes your while program invalid. Maybe "minefield principle" would be more accurate. Because one wrong step

Yes, that is correct. Any use of the sledgehammer makes your while program invalid. Maybe "minefield principle" would be more accurate. Because one wrong step and you are finished.