Assuming your electric pressure cooker has a sauté option, or if using the Instant Pot, press the sauté button and let the pressure cooker get very hot, when hot spray with oil, add the ground beef and salt and cook until browned breaking the meat up into small pieces as it cooks, 3 to 4 minutes.

When browned, add the onion, celery and carrots and sauté 4 to 5 minutes.

Add the tomatoes, cabbage, beef stock and bay leaves, lock the lid cook high pressure 20 minutes.

Let the steam release naturally. Remove bay leaves and serve.

To cook on the stove top: Follow the same directions as above in a large pot or Dutch oven, cook covered low 40 minutes.

Note: 1 serving is 1 1/2 cup