Lens protocol in Imagine