add cond-expanders