R:d . S. x . R:dr l r.