Worked Problem: Lowest Common Ancestor