Is this true branch of this statement needed?