C ( P )

¬ C ( N )

a P

λ P P

λ P N

a B

λ B P

λ B N

a N

λ N P

λ N N