renamed `prob.py`