If a model fails as a computation model (violates Church-Turing thesis, allows hypercomputation), it...
This proposition has not been edited since the history system was added.