When does Borel's theorem on free subgroups of semisimple groups generalize to other groups? We initiate a systematic study of this question and find positive and negative answers for it. In particular, we fully classify fundamental groups of surfaces and von Dyck groups that satisfy Borel's theorem. Further, as a byproduct of this theory, we make headway on a question of Breuillard, Green, Guralnick, and Tao concerning double word maps.