The second application promoted chased no cat from the type et to NP − + → S, again with a polarity flip.
if we had used (i), we would have obtained NP + → S. this would have trivialized the polarity to =, and this effect would have been propagated up the tree.