Problem Sheet 4 has been posted. Please submit your solutions to the CS reception by noon on February 17. You are encouraged to typeset your solutions in Latex.