Revised rho syntax to reflect encoding examples that ocap folks might better read