COND

Definition of COND