A standard validity check is to see that the resulting generating function simplifies to the correct univariate generating function. The first few coefficients at inert2dx = 1, y = 1 agree with the above generating function. The univariate generating function in inert2dt