Proofs released. Time for a break.

#writing