Situation: I'm thinking about how to tell Cyc new things