nondiminishing

not defined yet