Lesson 3 — forge invariant — multi-call invariant testing via the Handler pattern