Create ch05.lhs