[…] it is no longer necessary for every model and theory to be backed by a simulation in some particular high-level language, although they should all be potentially couchable in such terms.