2 c. dry pinto beans
1/2 lg. yellow onion
2 lg. garlic cloves
1 tsp. oregano
4 sprigs fresh cilantro or 1 tsp. dry cilantro herb
1/4 tsp. cumin
1/4 tsp. pepper
6 1/2 c. water
6 qt. pressure cooker
1 tbsp. salt (optional, added to cooked beans)

Soak pinto in hot water in a covered medium saucepan for 1 hour. Drain beans, put in pressure cooker. Add onion, garlic, and spices plus water. Seal lid of pressure cooker. Cook over medium-high heat for 50 minutes. Release pressure under cold running water. Mash cooked beans. OPTIONAL: Add 1 tablespoon salt to cooked beans.