Hi, I enclose the slides of yesterday. Yijia -------------- next part -------------- A non-text attachment was scrubbed... Name: derand5.pdf Type: application/pdf Size: 165831 bytes Desc: not available URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20121210/52d8d56c/attachment-0001.pdf>