Things relevant to the hyperbolic interpretation of quantifiers