et ( ifavec ,div.