Cond should be a Thread program