Filling the blank in Counter example