simple reduction example codes
complicated ones, say max or logic operator can be seen in class note and thus omit