lead to problems that would, that we would never be able to prove that in general for a, that, that a type is actually a sub type of self type because self type can vary over all the sub types of the class C. So that's one way to see that we can't allow method parameters, to be typed self type, but it's also helpful to just think about executing the code or some example code and see what can go wrong. 