2007-03-08, ڷ 1(Logic and Proofs)