check decrement and decrement by
folding on the counter retrieve method