implement row1_invariant