pert. improvement for exists