some more work on ch4
make commutative diagram consistent with maps of h^1