Z !-S / p : cv QC.ev