Formal Lens