bump upper bounds
Use lenses to access Diagrams records