diminute

not defined yet