> So is it fundamental or not? Obviously a Turing-complete system can simulate any other Turing-complete system. For example you could write an emulation of an

> So is it fundamental or not? Obviously a Turing-complete system can simulate any other Turing-complete system. For example you could write an emulation of any system you like in WASM, and in the emulator you could have tail call optimization. Thus from context it should be apparent that we're talking about efficient implementations.