  Even if o1 and o2 exist, and are clouds, and are not the same cloud, it does not immediately follow that there are two clouds. If we analyse “There are two clouds” as “There is an x and a y such that x is a cloud and y is a cloud, and x is not the same cloud as y” then the conclusion will naturally follow. But perhaps that is not the correct analysis of “There are two clouds.” Or, more cautiously, perhaps it is not the correct analysis in all contexts. Following some suggestions of D. M. Armstrong's (Armstrong 1978, vol. 2: 37–8), David Lewis suggests a solution along these lines. The objects o1 and o2 are not the same cloud, but they are almost the same cloud. And in everyday circumstances (AT) is a good enough analysis of “There is one cloud”