Thread:KarpToEndAllKarps/@comment-31953669-20180702224406

Hopefully nothing goes wrong this time... 