Interface Op_re