Logic operators, lightly tested