Before revision: ``not ) is where is the identity operator on the history Hilbert space.
After revision: "not " ) is where is the identity operator on the history Hilbert space.