Bindings and assurances — LessWrong