Should theories have a control group — LessWrong