negative assertion