Ok, I see. 10 is some kind of arbitrary then if a user made a recursive definition by mistake.