non-overlapping assertion