Hot: reduction