implement extend_rhs() but function not tested yet