CSE.lhs 5.3 KB