forse l'intoppo è proprio in quel "A,B -> C"