i - ¬ d a u -: