knuth-counter added
dec added
Lower limit decreased
knuth-counter simplified