Text this: Velocity dispersion function evolution from strong lensing statistics.