Describir: Random walk speed is a proper function on Teichmüller space