Some people can drive cars and prove theorems.