A1 PSM • L16 A3 • Substitution - No Variables Isolated • Checkpoint