Duval_sign

);