If time machines were possible