Interactive Counter Example

Counter: 0