an event synchronizer