Mice Deficient for the Vesicular Acetylcholine Transporter Are Myasthenic and Have Deficits in Object and Social Recognition Vania F. Prado, Cristina Martins-Silva,