Pedro Version: Ex1 Completion synchronizer should be done.