Domains and naïve theories.