CSE 203E - Discrete Structure, May 2009