8 InterActive Corp (IAC) vs. 9 Red Hat Inc. (RHT)