The Basic Double Crux pattern — LessWrong