[tsroe]

>in the land of infinite computational power it can be made equivalent

I.e. they are not equivalent and the original comment was wrong.