Def of
s
=
~
(
CPCTC
)
