Sardiniens konung nämnes icke uttryckligen.