MYSTERY (A[O..n-1), k) if n is equal to o return -1 if A(n-1] is equal to k return n-1 return MYSTERY (ACO..n-2), k)