Religion's smart-people problem