That sounds plausible. Just like functional programming languages are imperative under the hood. It's all magic as far as I'm concerned.