Counter example has value: setter