
There are three types of lensing: strong (multiple images, arcs, and rings from massive clusters), weak (barely perceptible distortion of the shapes of distant galaxies, allowing mapping of dark matter), and microlensing (brightening of a star when a massive, compact object passes in front of it). Lensing has become a powerful tool of cosmology.