Rework that tricky example