do not use not(). not supported on 1.8 e.g.