"disjunction" - key terms from Wikipedia