the devil's ontology — LessWrong