Were they? Was "OR" before "NOT"? ;)