premise: If the husband had survived, <hypo>, and his gross estate would then be worth $7.51 million ($4.51 million + $3 million), $5.49 million of which would be exempt from estate taxes.
hypothesis: <hypo> should be "then the unlimited marital transfer would apply"