User blog comment:D57799/Another Theorem for Knuth Arrows/@comment-5529393-20150410135755

Looks much better! I'll go over it more carefully later, but it looks good.