r : nat- uti ?u 's