save array_addition_I spec