Cholera: a disease of the nervous system.