 Indeed, here there is room for further developments. For example, just as the principles in (P.12ξ,i) assert the existence of a minimal underlapper for any pair of suitably related entities, one may at this point want to assert the existence of a maximal overlapper, i.e., not a “sum” but a “product” of those entities. In the present context, such an additional claim can be expressed by the following principle: