olive oil • red (or yellow) pepper, finely chopped • cherry tomatoes, chopped into quarters • spring onion, thinly sliced • paprika (according to taste) • medium mushrooms, roughly chopped • ham, roughly chopped • baby spinach, chopped (or other green leaves) • green beans (dwarf beans, French beans or similar) • gnocchi • grated Parmesan