enchilada sauce as it cooks: