changes required for the proofs of JPhysA