First examples of using negations