F
i
n
d
A
c
c
u
m
u
l
a
t
i
v
e
P
r
o
o
f
[
{
a
_
∘
(
a
_
∘
b
_
)
<
-
>
a
_
}
,
3
,
p
_
∘
(
p
_
∘
q
_
)
<
-
>
(
p
_
∘
p
_
)
∘
p
_
,
1
,
"
S
C
"
]