Better proof of greenRow_tab and friends