Step 1

Preheat oven to 400°F with rack set in middle position. Lightly coat all the bones with oil and arrange in an even layer on a rimmed baking sheet or in a roasting pan. Roast, turning bones once or twice, until beginning to turn golden-brown, about 30 minutes.

Step 2

Meanwhile, lightly toss onion, carrot, and celery in oil. When step 1 is complete, scatter all over and around bones and continue roasting until bones and vegetables are nicely browned, about 30 minutes longer. Be careful not to let anything scorch.

Step 3

Transfer beef bones and roasted vegetables to a pressure cooker. Pour off and discard (or save) any accumulated fat from the roasting pan. Pour a thin layer of boiling water into roasting pan and scrape up any browned bits. Pour pan juices into pressure cooker.

Step 4

Add garlic, thyme, parsley, and tomato paste to pressure cooker. Add enough cold water to bring level to the cooker's max-fill line; do not let water exceed the max-fill line, even if some solids are not submerged.

Step 5

Close pressure cooker, bring to high pressure, and cook for 2 hours 30 minutes. Allow cooker to depressurize naturally. Open cooker and strain stock through a fine-mesh strainer (discard solids, though if there's a shank in there, be sure to eat it).

Step 6

Skim the stock by either carefully ladling off the top layer of fat while stock is still hot, or, for greater ease, refrigerate stock until well chilled, then remove the solid cap of fat that rises to the top.

Step 7

Portion stock into storage containers or zipper-lock bags (if it's been chilled, reheat it to a liquid state first), then freeze or refrigerate until ready to use.