Try it

Counter

A bar, Increment, and Reset when there is something to reset. Every frame below is one the app's real Lean code drew. Point at a control to see its claim; click it to take the step.