negative assertions documentation