After a lackluster evening of work ( and little sleep) I just churned out 7 pages of proofs in the library.