013 veggie chilli with Tortilla Chips

2 tsp olive oil 1 onion, chopped 1 garlic of cloves, crushed 1 carrot, grated 1 leek (outer leaves removed, cut into rounds and rinsed under the tap to remove dirt) 1 tin kidney beans, drained 1 tin chopped tomatoes

2 tsp cajun spice 1/2 tsp chilli 1 tsp ground cumin

3 tortillas 1tsp smoked paprika Olive oil Salt ½ lime 75g cheddar cheese, finely grated