>>16837531
Why don't we throw out functions and just have bijections? It seems like they're much easier to reason about for the same reason it's easier to reason about functions when inputs map to exactly one output.