Hablando de mate

A nonstandard method of counting trees: Put a cat into each tree, walk your dog, and count how often he barks.

Proofs from the book