$$\underset{\phantom{\mathrm{fail}}}{\overset{\mathrm{top}}{\mathrm{-\; middle\; -}}}=\stackrel{\mathrm{top}}{\mathrm{-\; middle\; -}}$$