Create lensing.py