   Counterexamples to  Antecedent Strengthening  were already discussed back in  §1.4.  Against Transititivity,  Stalnaker (1968: 48) points out that  (27c)  does not intuitively follow from  (27a)  and  (27b).  