hyperbolic substitution