>If that benefit is higher than your spouse’s benefit, your spouse gets your benefit for life.

I'd thought it was that the spouse who'd paid less in got the choice between their own payment or half of their spouse's.

At least that was the situation the last time I looked into it (2015 or so). It could easily have changed. Anybody know for sure?