Do you think that it would be a good idea to change the value of buttonPushCounter somewhere in the program ?