draft proof for sync2