Does mathematics have two transcendent attributes: truth and beauty? What makes math true? What makes math beautiful? Are there different kinds of mathematical existence? How can math combine idealized perfection and explanatory simplicity?