Proving Things by Counting then Counting Again