Towers and the First-Order Theories of Hyperbolic Groups | lit.salon