A
i
C
¬
C
a
P
λ
P
P
λ
P
N
a
B
λ
B
P
λ
B
N
a
N
λ
N
P
λ
N
N