x
leastfixedpoint — LessWrong