Durmió mal; más bien dicho, no durmió.