Is this "(VERIFY)" obsolete or shorthand for `OP_CSFS OP_VERIFY` here?

[ABDALLA10FATHY]

Is this "(VERIFY)" obsolete or shorthand for OP_CSFS OP_VERIFY here?

3. Add/multisig: No concession is made to `OP_CHECKMULTISIG` or `OP_CHECKSIGADD` semantics with `OP_CHECKSIGFROMSTACK`. In Tapscript, add semantics can be implemented with 1 additional vByte per key (`OP_TOALTSTACK OP_CHECKSIGFROMSTACK OP_FROMALTSTACK OP_ADD`).

Originally posted by @murchandamus in bitcoin/bips#1535 (comment)