she does get half of his carpenter ant pension