The authors argument the conservation of the name Agaricus tabescens against A. socialisand define the neotype.