That what is, then, is neither one nor many, neither ungenerated nor having come to be, he attempts to prove by following partly Melissus and partly Zeno, after first stating his own special proof that it is not possible either to be or not to be.