Add Lens law tests