Monastery Chickpea Stew

There are as many versions of this dish in Southern Spain as there are cooks, so feel free to mess about with it.
1) Put the garbanzos on to boil (I use my pressure cooker), until about half cooked.
2) Meanwhile, in a skillet, heat oil and sauté onion and garlic until it starts to brown. Remove from heat and *quickly* toss in paprika, mixing well. Set aside.
3) In a soup pot, put your garbanzos (remove part of the cooking water if there's a whole lot; no more than an inch above the garbanzos is necessary from this point) and other vegetables and the spice mixture. Continue cooking, uncovered, until the garbanzos are tender. There shouldn't be a lot of broth. Check seasoning (especially salt) and serve hot.