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