From the SL to Trotskyism