editing lensing-theory part