You don't seem to be disagreeing with GP, you're just saying that correctness may be practically impossible.