Title: Rigorous State-Based Methods