In article 200303150520.GAA04857@goedel.fjf.gnu.de, Frank Heckenbach frank@g-n-u.de writes
In BP you can negate an integer which makes `not a = b' and `not a in c' (for a, b integers) valid and quite "unintuitive".
Quite agree, confused the hell out of me the first time I came across it.