C \not\leqslant P
slide
:
Object inheritance -- contravariance