shadow:  do not reduce operator if there is a shadow