Before revision: Note: EV|PI is necessarily greater than or equal to EMV .
After revision: Since EV|PI is necessarily greater than or equal to EMV .