Title: How to Think Lenses and Focal Length