denat
not defined yet