If two different x can produce the same y information is lost on the hash transformation. Finding _an x_ for your y is not the same as finding _the x_. That said, Laplace's Demon is, well, a demon. Presumably the devil can get the demon to unspool time to see what the input was and the math doesn't matter, collisions or not.