Recognizing Bijections (Double-Counting) in Combinatorics