This should be `DE.case`