Systematic counting and logic

Define the objects, partition them without overlap and combine counting with constraints and sharp bounds.

Choose addition, multiplication or complementary counting with a reason.

Use route counts, constraint graphs and parity to avoid blind listing.

Prove a bound and produce a checked construction attaining it.