d e t ¬u