let
s = (
Cl
(
S
), 111)