C
(
P
)
¬
C
(
N
)
a
P
λ
P
P
λ
P
N
a
B
λ
B
P
λ
B
N
a
N
λ
N
P
λ
N
N