Nope, looks like they DeMorganed to avoid parenthesis

(Oops, didn’t realize 5 other people said the same thing! I don’t think my client loaded all the comments the first time.)