The problem is you all that have this "formal commitment" theory are only defining what YOU consider a formal commitment. What about people that aren't married or engaged that have committed to spending the resit of their lives together? That's the problem. You don't know where those people are in their commitment.
And how do you know his relationship is a crappy one? She doesn't even know him.