Reduce Revisited