Almost a mathematical Haiku

I noticed the following comment in today’s arXiv update of a paper of Kim and Lusztig:

A sign error is corrected; a conjecture is replaced by a theorem.

Isn’t that mathematical poetry of a kind? It’s unfortunately a bit too long to be a Haiku…