On this latter claim the argument of Melissus depends; for he claims that if that which has come to be has a beginning, that which has not come to be has none, so that if the heavens have not come to be, they are infinite.