Comment by seanewest

But does "anything written in language A can be simulated using language B" imply "A can compile down to B"?