for x being Point of I[01] st x <= 1 / 2 holds
[x,0] in IAA