`and` and `not` here as well