( i3 1^3 iff i1?