Comment by dataflow

What's the initial state supposed to be?