Rigorous State-Based Methods