1! REDUCE
1 NOREDUCE