sigma-p-sigma-induction