Dream up ideas for proofs by Dawn, prove them by Day, decide which ones matter by Dusk, and disprove them by Night.