add SPR rework from SPR(x) to SPR[x]