[JonChesterfield]

I think they mean "finite number of rows", which would be "finite number of distinct inputs" or "finite number of outputs". The context is the challenge of writing down an infinite table.

There's probably a recursive/inductive equivalent notation but maybe it's hard to render clearly as a table.

[happysadpanda2]

I just re-read the entire reasoning, and I got it all wrong I think. N%2 will only ever yield one of two inputs. In short, I shouldn't try to brain before the morning coffee ;D