Law-abiding lenses for EDN