Both groups shouldn’t forget to check in on the health of GE’s defined benefit pension plan ... Adding an extra $3.5 billion ...