Parties work together for summary judgment to rectify a pension agreement