All Solid Varieties of Semirings

There are exactly three non-trivial solid varieties of semirings, the variety of all rectangular semirings, the variety VNID of all normal, idempotent, distributive semirings, and the subvariety of VNID which is defined by the additional identity (x + y)(y + x) ≈ xy + yx.