gr-space-operators protect +=