def dual