Metacognition in SNePS