Abstract conditions on the partial Cauchy surface encode the instructions for time machine operation...