Comment by bear8642

How so?

I'm struggling to see how Roger's manipulation of the expressions without executing each line validates Dijkstra's point...