if (not (x1 | x2 | x3 | x4 | x5 | x6 | x7)):