COND Algorithm Skeleton