Aduhelm: The hard math on the new $56