Semi-check off Table Header rows in TODO.

Conditional on getting a counter-example test going.