In the final years of his life Huygens composed one of the earliest discussions of extraterrestrial life, published after his death as the Cosmotheoros (1698). He continued to work on improving len...