]> g A1 A1 B1 B1 A1->B1 A2 A2 A1->A2 f B3 B3 B1->B3 (g o f)' B2 B2 A2->B2 A3 A3 A2->A3 g B2->B3 g' A3->B3