negative literals