The pattern above must match one of the two patterns below.