[rules-users] String.format question in the RHS