But we can deduce much more from this estimate; for example that there will 'over and over again' be an element with the property and another element with the property 'o'; that is to say, that after any element there will occur in the sequence an element with the