semidefne
(0)