on{X}

reduction