merge assertion