Everything seems to work, to check all the possible synchronization points