 The intuitive idea behind these principles is in fact best appreciated in the presence of (P.5), hence extensionality, for in that case the relevant sums must be unique. Thus, consider the following definition, where i ∈ {1, 2, 3} and ‘℩’ is the definite descriptor):