subminimizations