How to Cook Pinto Beans?

Pick and wash beans. Put them in a pot with water that more than covers them. Add an onion and bayleaf if desired. Simmer for two hours, then add salt, pepper and 1/4 cup of olive oil. Continue to simmer until desired tenderness is reached.