lecture: lecture 20: finish Tools module