HW count backwards unstuck v3

This section inspired by Keith's work.