  We study systems of equations on antichains, together with a way to count the
number of solutions. We start with two simple examples, generalise and show
more applications. One of the results was used in the recent computation of
D(9), the others have potential to speed up existing techniques in the future.
