Before revision:  We also show that with such power comes a heavy burden in terms of computational complexity of simulation and prediction by proving that  for important properties of FTAM systems, determining their existence is intractable, even for properties which are easily computed for systems in less dynamic models.
After revision:  We also show that with such power comes a heavy burden in terms of computational complexity of simulation and prediction by proving that , for important properties of FTAM systems, determining their existence is intractable, even for properties which are easily computed for systems in less dynamic models.