o isa = - P*