Avances en la especificacion de 'atacar'