overlapping assertion