Definition of "Agaricus"