2012 Autumn Discrete Math.