 Simples are to be contrasted with atomless gunk (where something is "gunky" if it is such that every proper part has a further proper part).Necessarily, given the definitions, everything is either composed of simples, gunk or a mixture of the two.Classical mereology is consistent with both the existence of gunk and either finite or infinite simples (see Hodges and Lewis 1968).