Hypothetical Redshirt rule clarification