Sleepers could sprint only at dreams, daydreams, or nightmares.

But substantially, at daytime, they see another dream, or daydream, nightmare.

At very another modus ponens.