add new theory: Event