Everybody who reasons carefully about anything is making a contribution … and if you abstract it away and send it to the Department of Mathematics they put it in books.