Some progress on the initial state invariant.