Keeping it real Nerd it up.

...

...

The proactive approach is probably to go to sleep even before you or the proof gets tired.