Handle cond et imp