[edflsafoiewq]

Oh, we're talking about different things. I'm only talking about proving collision-preservation, not something as spectacular as generating collisions.