Det fans andra namn inom venstern,