Problem 23
Learn you REDUCE
Problem 24
Problem 25
Problem 26
Problem 27