yes, exactly. and it is a state variable that should not change, so arguably it could be pushed to an even higher level...