ETA-reduce.