ReState Fact Two (Theoretical Milestone)