The button pusher worked hard.