What is mathematics, and why is the imagination an important part of mathematical thinking?