ingredient : (or ½ cup) onion, diced