1 | 3. x1: T1 4. x2: T2 5. y1: T1 6. y2: T2 7. x1 = y1 8. x2 = y2 < x1,x2 > = < y1,y2 > < x1,x2 > = < y1,y2 > |
2 | 3. x1: T1 4. x2: T2 5. y1: T1 6. y2: T2 7. x1 = y1 8. x2 = y2 < x1,x2 > = < y1,y2 > < x1,x2 > = < y1,y2 > |
3 | 3. x1: T1 4. x2: T2 5. y1: T1 6. y2: T2 7. x1 = y1 8. x2 = y2 < x1,x2 > = < y1,y2 > < x1,x2 > = < y1,y2 > |
4 | 3. x1: T1 4. x2: T2 5. y1: T1 6. y2: T2 7. x1 = y1 8. x2 = y2 < x1,x2 > = < y1,y2 > < x1,x2 > = < y1,y2 > |