leastfixedpoint — LessWrong