Directions

1. Set pressure cooker to "sear", add oil, and press "start/stop". When hot, add cabbage and brown on all sides, about 5 minutes.
2. Add water, vinegar, sugar, cayenne, and red pepper flakes. Mix and add carrot.
3. Close and lock lid, set pressure cooker to "steam/veggies", and press "start/stop".
4. When done, natural release for 5 minutes, then do a quick release to make sure all pressure has been released before opening lid.
5. Carefully open lid and remove cabbage with tongs. Leave cooking liquid in pressure cooker.
6. Set pressure cooker to "sear", adjust time to 10 minutes, and press "start/stop". Mix cornstarch and water and add to pressure cooker. Stir and simmer to thicken sauce. Check seasoning and add salt and pepper, if needed. Ladle over cabbage and serve.