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