Tax Court Needs to Do More Work in Interpreting Totalization Agreement