Añadido el método <=>