I am the very model of a self-recursive modeler — LessWrong