Then if, by really taking part in astronomy, we're to make the naturally intelligent part of the soul useful instead of useless, let's study astronomy by means of problems, as we do geometry, and leave the things in the sky alone.