Tighten lower bound on tagged-transformer.