Definition of "decrements"