Complementary counting
Complementary counting is a method of counting where one counts what they don't want, then subtracts that from the total number of possibilities. In problems that involve complex or overly complicated and tedious casework, complementary counting is often a far easier and more efficient approach. Within a problem statement, a large hint that complementary counting may lead to a quick solution is the phrase "not" or "at least".
More formally, if is a subset of , complementary counting exploits the property that , where is the complement of . In most instances, though, is obvious from context.
Video
This is a video explaining the basics of casework, complementary counting, and overcounting (more specifically, the Principle of Inclusion-Exclusion): https://youtu.be/Zhsb5lv6jCI