=removed repl_ex dependence