(use srfi-1)
(define ans 0)
(fold (^(x s) (unless (= (+ s 1) x) (inc! ans x)) x) -100 (sort (list-tabulate (read) (^_ (read)))))
(print ans)