Negation tests. Fixes #17.