add cond and sem