Mathematics 265x: Reasoning via Models