No More Learning

The last proof
reaches me just a year after the first, and the progress of the work has
not in the           been interrupted.