Title: Syntax of Negation