Update final.lhs