A necessary condition for a Thornian time machine to operate is that the future Cauchy horizon of th...