I used to take mathematicians seriously.