Hugo de Groot’s most famous work was not a prequel to Leo Tolstoy’s most famous work.