That's exactly my point. An outline is a very different beast compared to pseudo code. It's effectively the difference between operational semantics and denot

That's exactly my point. An outline is a very different beast compared to pseudo code. It's effectively the difference between operational semantics and denotational semantics.