Some view that t zero has to be a subtype of self type this is in some class c wherever this is defined, and remember that we said This was always false that you couldn't have self type on the right hand side and a regular type on the left hand side. 