3 ms·Checking is still obviously not the answer, due to the halting problem.by windsurfer 15y agoChecking is still obviously not the answer, due to the halting problem.