Somehow, despite the title, SL(2,Z) is the poster child for
arithmetic groups not satisfying the congruence subgroup property,
which is to say that it has finite index subgroups which can not be
defined by congruence conditions on their coefficients...