ev- P- c : P- et o n (=■