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