 Let us begin with the first sort of extension. And let us start by taking a closer look at the intuition according to which a whole cannot be decomposed into a single proper part. There are various ways in which one can try to capture this intuition. Consider the following (from Simons 1987: 26–28):