Thread:KarpToEndAllKarps/@comment-31953669-20180830133355/@comment-35334387-20180830154252

is this okay