Según el auto: