Examples of non-positively curved groups - Kim Ruane