mantequilla, aceite de oliva, cebolla grande, finamente picada, ajo, finamente picado, champiñones, en rodajas, huitlacoche (hongo de maíz), harina o tortillas de maíz, queso Cheddar fuerte, rallado, queso mozzarella, rallado, ensalada verde, ligeramente aderezada para servir acompañando, Para la salsa de tomate:, Tomates