State Refinement.State { get; }