Added proof of worrysome example