Update with what bkz output currently looks like.
Rephrase.