I acknowledge I am impressed how quickly it moved beyond just counterexamples.