Rinderfilet, Mehl, Paprika, 1/2 Teelöffel Cayennepfeffer und 1/4 Teelöffel weißen Pfeffer in einer Schüssel vermengen. Rühren, bis das Fleisch vollständig bedeckt ist.

1 Teelöffel Olivenöl und Speckfett in einem Dutch Oven bei mittlerer bis hoher Hitze erhitzen. Das Fleisch hinzufügen, überschüssiges Mehl abschütteln; braten, bis es auf allen Seiten schön braun ist, 5 bis 7 Minuten. In einen multifunktionalen Schnellkochtopf (z. B. Instant Pot) umfüllen.

Wasser und Rinderbrühepulver gründlich in einer Schüssel vermischen und über das Fleisch gießen. Deckel schließen und verriegeln. Hohen Druck gemäß den Herstelleranweisungen einstellen; Timer auf 20 Minuten stellen. 10 bis 15 Minuten für den Druckaufbau lassen.

In der Zwischenzeit restliches Olivenöl in einer Pfanne bei mittlerer bis hoher Hitze erhitzen. Zwiebel, Paprika und Knoblauch im heißen Öl sautieren, bis die Zwiebeln durchscheinend sind, 5 bis 7 Minuten. Tomatenmark dazugeben und vermengen. Die Hitze reduzieren, abdecken und beiseite stellen.

Den Druck im Instant Pot nach 10 Minuten mit der natürlichen Entlastungsmethode gemäß den Herstelleranweisungen abbauen. Restlichen Druck vorsichtig mit der Schnellentlastungsmethode gemäß den Herstelleranweisungen abbauen, etwa 5 Minuten. Den Deckel entsperren und entfernen.

Den Innentopf vorsichtig herausnehmen und das Fleisch mit einem Schaumlöffel in den Dutch Oven geben. Die Hitze unter dem Dutch Oven auf mittlere Stufe erhöhen und rühren, etwa 5 Minuten kochen lassen. Die Flüssigkeit aus dem Instant Pot vorsichtig hinzufügen; vermischen.