They kind of do, but it really adds to it. Sort of like a corn dumpling almost. But it's best to just crumble them up and mix them in slowly from the top of the soup. Then only the bottom ones get soggy, and you get a little crunch left from what you pull off the top of the pile.

I personally started pressing my own tortillas recently, and they're a little thick and they turn into literally corn dumplings.

I would crush them and sprinkle them on top just prior to eating.