re: #814 BigPapa

We’ve already established that “she didn’t deserve to get stomped”.

So quite why we are now debating the definition of “rush” is beyond me.

I think it has something to do with “she didn’t deserve it but actually she did, really”.