[denotational]

I don’t disagree, I’m just trying to unpack what the GP might have meant by “proper multithreading”.