DM.LR.2.a: Apply informal logical reasoning to contextual problems (e.g., predicting the behavior of software, solving puzzles).