Equating both models to 'recursive problems' inherits the thesis's assumption that no physically pos...