Comment Comment by p333347 The task of verification looks like a nice AI problem to solve. parent p333347 9 years ago