Describir: On the existence of Killing fields in smooth spacetimes with a compact Cauchy horizon.