Critique of J. Kim's "P is not equal to NP by Modus Tollens". - Dan Hassin; Adam Scrivener; Yibo Zhou (CoRR, 2014)