UdL ) wd ! -- X ) prec.