Finished ex5-1
beautified ex5-aux.sml