Reduction: KEEL.