I mean "ybatrfg fvqr" isn't possible because the example doesn't use that rule and "ahzore bs fvqrf" is also not possible because of the numbers that get used.