“…Under projecting S n × R 1 → S n , each standard pseudo-spherical surface in S n × R 1 is mapped to a pseudo-spherical in S n ; in this case, the horocyclicity of the coordinate net is preserved; such transformation is called the contraction procedure in [15]. And conversely, if any pseudo-spherical surface in S n , parametrized by the horocycic coordinates, is supplemented by the corresponding linear height function, then we obtain a standard pseudo-spherical surface in S n × R 1 ; such a construction is called the expansion procedure in [15].…”