We will discuss how local rigidity properties of the usual action of SL_2(Z) on R^{^2} can be used to rule out basis theorems near the base of the definable cardinal hierarchy. I hope to make the talk accessible to a broad audience. This is joint work with Clinton Conley.