Resolving proof state...