dennes , inf ).