Theories that describe sequences of events