Yes, I agree with you. This is indeed a semantically problematic query, which is transformed into a semantically correct query by the optimization of `SQLITE_SimplifyJoin`. I'm amazed at the fact that optimizations may affect whether a query can be executed to the end. It's kind of confusing.