data-lens upper bound #129