, D e t: