Constraints & Slackness Reasoning Exercises — LessWrong