Bermudez Interface Problem — LessWrong