examples use Reduction