CAT(-1)-Type Properties for Teichmüller Space - Ian Frankel (2018)