procope
the cutting off of material from the first part of a
character string
; p. is taken as an irreversible elementary operation;
cf
.
Chapter 3, §1,
passim