Detailed the redefinition of a method: new return type must extend the old one