smapiri fu'ivla

x1 is a morphism from x2 to x3.