Proof - Happy Bandit