Thread:KarpToEndAllKarps/@comment-31953669-20180908135440

This seems like a good idea, and it's a bit simpler too. 