Thread:KarpToEndAllKarps/@comment-35195751-20190423142504/@comment-31953669-20190423193036

I'll deal with that later. I'm not ignoring that, I'm putting it on hold.