Verifying replication