%% done?
%%  *  RECURSIVE DEFINITIONS %%
%%  *  STRUCTURAL INDUCTION %%
%%  *  WELL-ORDERING %%
%%     RELATIONS/POSETS/EQUIVALENCE RELATIONS %%
%%     GRAPHS %%
%%     STARS AND BARS %%
%%     COMBINATIONS WITH REPITION %%
%%     BINOMIAL COEFFICIENTS %%
%%     INFINITY %%
