Pointed out exactly where naive stream semantics would fail