A1 PSM • L1 B6 • Properties Of Equality • Checkpoint