Week 17: Killing equations and Killing vector fields.