> contradictions log

When you hit one of those you need to introduce laughter:

- interrupt the main loop

- spend some inference on exploring the contradiction

- resolve it, and then

- store a memory about the resolution