i64 != get(array, i64)
