Last night, I stayed up late playing #Ys while watching videos of animated #LEANProver proofs.

Would not recommend. I had some *very* strange dreams.