Negation
Merge pull request #49 from SSD-ESIEA/dev

Negation