to substitute sth for sth