The idea is that these empty lines produce logical blocks of congruent states.