A i

C

¬ C

a P

λ P P

λ P N

a B

λ B P

λ B N

a N

λ N P

λ N N