Natural laws should be explicit constraints on strategy space — LessWrong