texts: domain: pizza ordering  <s> I'm sorry, but Mike's doesn't list banana peppers as an available ingredient. </s> <s> OK, how about extra jalapeno peppers? </s> <s> Jalapenos are listed as an option, do you want jalapenos added?
labels: Yes.