Some work on Neumann expansion section; make differentials consistent.