The work of Rens Horn