Create ch04.lhs