added short-circuit as an experiment to Reduce