The life and works of Hugo Grotius.