A Defence of Free-Thinking in Mathematics