Don't proceed until you know how to use a pressure cooker safely!
Sort through beans, checking for stones.
Wash the beans well. (The ones we get from coop usually have little clods of mud in them and are very dusty.)
Add rest of the ingredients listed above.
Add water so that water at least 2 inches above the bean level. (My cooker instruction book says don't fill pressure cooker over 1/2 full.)
Stir and remove any loose bean skins that float to the top.
Cook in pressure cooker, under pressure, for about 45 to 75 minutes. Older beans will take longer to cook. Beans should be completely tender, NOT crunchy or al dente. But not mushy either.
Of course, don't open the cooker till it's cooled and the pressure has gone down completely.