Beef Stew - Cooked in Pressure Cooker

One of the best beef stews I've cooked. Really love the pressure cooker as it makes the beef so tender.

Ingredients:
Beef, cut into cubes
2 beef stock cubes
2 carrots
1 onions
5 cloves of garlic
2 tablespoons tomato paste
12 baby potatoes
1 punnet cherry tomatoes
butter
water
salt
pepper
3 bay leaves

Method:
Marinate beef with salt and pepper. Melt butter and saute onions, garlic and beef. Mix the beef stock cubes in a cup of hot water and add to pot. Add tomato paste and stir. Add chopped carrots, potatoes, cherry tomatoes and bay leaves and enough water to cover. Cover pressure cooker and cook for 20 minutes once the pressure is up.