[Quekid5]

The key idea is that Unison code is in a sort of "normal form", such that e.g. what names you give things doesn't matter at all.