Talk:Berman–Hartmanis conjecture

[Untitled]
Nice work. Small remark: paragraph 2 of section Statement says: "(...) and they proved a complexity-theoretic analogue of the Myhill isomorphism theorem *stating that all pairs of paddable NP-complete languages are p-isomorphic* ." I think it is grammatically unclear whether the last part refer to "the Myhill isomorphism theorem", or to "a complexity-theoretic analogue". Perhaps it can be phrased better. Maybe "(...) Myhill isomorphism theorem. They prove that (...)"? Still a bit clunky. 132.187.8.48 (talk) 09:42, 29 February 2012 (UTC)