Now more explicit about \dot{X}_{02} = \dot{E}_{02} in Infinite Series appendix.