added event-b details