“Paul Stamets' company that produces mushroom supplements.”