Merge from $1 ($2) to $3 ($4) is complete.