If the IOC finds them guilty of a doping violation they...

If the IOC finds them guilty of a doping violation they would be declared ineligible for the Games.