"Agaricus semotus" . . . .