The big difference between annulment and divorce is that annulment means the marriage never existed.
That's why I suspected that failure to consummate as grounds for
divorce would be redundant; who would opt to divorce when annullment was an option?
But, assuming there is no active fraud, failure to have children is not sufficient to file for an annulment these days.
Yeah, see, that's what I thought. But Holmes is acting like I'm some kind of idiot for thinking that.