 Functionality bans multilocation, which we discuss at some length in Section 6. It tells us that nothing bears the exact location relation to more than one entity. Functionality leaves open the possibility of entities (regions, numbers, …) that do not bear that relation to anything.