Theory and Data as Constraints — LessWrong