Where does “libidinem” come from?