Stephenson v. Stephenson: pension double-dipping concerns