In attribute declarations the type of attribute in this case we have an attribute x and is declared to have type t, it is okay for t to be self type so it's fine to have attributes that are declared to be the self type of the class. 