hull( {[1,1]} union
 {[In_1,In_1]: 2 <= In_1});

