Create positive_lens.html