Title: Picture Puzzles Spot the Difference Book for Lean