should already be synchronized?