https://michael-franke.github.io/blog/posts/GPT-negation-problem/