[lambdaxdotx]

this is quite the nitpick... for all intents and purposes, sha3_256 will _not_ collide; it's infeasible to the point that it can be said that the resulting hash is unique. I mean, of course you are technically right, but sometimes all the details are not worth mentioning when explaining a lot of small parts of a bigger picture.