Pseudo-Anosovs are exponentially generic in mapping class groups | Synapse