olive oil • medium onion, chopped • bay leaves • ground cumin • dried oregano • salt 2 stalks celery, chopped • green bell peppers, chopped • jalapeno peppers, chopped • garlic, chopped • cans chopped green chile peppers, drained • packages vegetarian burger crumbles • cans whole peeled tomatoes, crushed •