The variety generated by all monoids of order four is finitely based - Lee, Edmond W. H. (Array, 2015)