Arreglado asserto