Half of the garlic marinates in olive oil, lemon juice, and pepper. It will be sauteed with the mushrooms. This is also a good way to make harsh-tasting garlic (all too common these days) usable.