We discussed Lattice Paths (Example 5.19), and proofs of identities (usually involving binomial coefficients) by double counting. We discussed exercise 5.39 as a good example.