No need to double-define the inheritance