diminishes

not defined yet