well, None is not Undefined, but then you know it has not been set...