x
Good Regulator Theorems — LessWrong