Shorty Essential Minimizer