Further State Refinements