Un-needed. There's no condition that this value will be un-modified after the condition below.