This classic Mexican dish—known as salpicón de res—combines a shredded beef salad with a tangy lime dressing. Beef brisket, normally a slow-cooking cut, becomes fork-tender in a fraction of the time when pressure-cooked. To be efficient, while the beef cooks, prepare the other ingredients, except for the avocado (which will discolor), and keep them chilled until ready to use. For an appealing crunch and toasty corn flavor, serve on tostadas (corn tortillas that are fried flat).