Additional examples are adjusted to the entries in an automated way - we cannot guarantee that they are correct.
Myopia (near-sightedness) requires a divergent lens, whereas hyperopia (far-sightedness) requires convergent lens.
If we can assume that the spacetime inside the Cauchy horizon violates AWEC, then the horizon becomes stable and frequency boosting effects would be canceled out by the tendency of the spacetime to act as a divergent lens.