added support for negation, changed format to be a bit nicer
added or removed newline