rigorous analysis of real-world phenomena