https://professorqu.github.io/posts/commander-combinatorics/
Commander Combinatorics: Counting the Deck Possibilities - ProfQ Blog