x
Formalizing reflective inconsistency — LessWrong