Text this: Generators and relations for discrete groups :