Text this: Optimality of first-order ILC among higher order ILC