Borrow lenses

Pepperjam Verification