Otras operaciones añadidas a spec
otras operaciones definidas