For clearly on the same principle there will be lines besides the lines in themselves and the sensible lines, and so with each of the other classes of things; so that since astronomy is one of these mathematical sciences there will also be a heaven besides the sensible heaven, and a sun and a moon (and so with the other heavenly bodies) besides the sensible ones.