fixed bug--negative literals