**IF** the title contains the "[WIP]" string **THEN** the pull request must have the label "WIP" --- **IF** the title doesn't contain the "[WIP]" string AND the pull request is after "In Progress" **THEN** the pull request must not have the label "WIP"