1: \begin{abstract}  When studying subgroups of $\Out(F_n)$,  one often  replaces a given subgroup $\cH$ with one of its finite index subgroups $\cH_0$  so that virtual properties of $\cH$ become actual properties of $\cH_0$.  In many cases,   the finite index subgroup is  $\cH_0 = \cH \cap \IAThree$.     For which properties is this a good choice?  

2:   Our main theorem states that being  abelian is such a property.  Namely, every virtually abelian subgroup of $\IAThree$ is abelian.

3: \end{abstract}

4: