CAT(0)

  1. REDIRECT CAT(k) space