put parenthesis around not expr like (not expr) to avoid binding errors