  A variety is finitely universal if its lattice of subvarieties contains an
isomorphic copy of every finite lattice. We show that the 6-element Brandt
monoid generates a finitely universal variety of monoids and, by the previous
results, it is the smallest generator for a monoid variety with this property.
It is also deduced that the join of two Cross varieties of monoids can be
finitely universal. In particular, we exhibit a finitely universal variety of
monoids with uncountably many subvarieties which is the join of two Cross
varieties of monoids whose lattices of subvarieties are the 6-element and the
7-element chains, respectively.
