Fixed minor problems with copy 1 and exists elim.