large onion, diced • red bell pepper, diced • green bell pepper, diced (or an orange or yellow bell pepper, if you prefer) • garlic, minced • salt, plus more, to taste • freshly ground black pepper, plus more, to taste • paprika • dried oregano • dried thyme • bay leaf • cayenne pepper • tomato paste •