Python due to historical usage allows the usage of not a in b, which actually means a not in b. The syntax not a in b seems weird to me, and some users might read it as (not a) in b or even not (a in b). I propose forbidding this syntax.