Probabilistic Reasoning Over Time
TODO