The day was consumed by working on the prover.
The evening was a world of pure hurt. Went to the almost midnight breakfast for a little while and hung out with
spillourguts and her housemate and matt hornyak and
lincoln3, but eventually I had to leave because the stomach pain was too intense for me to be able to focus on anything else.
The evening was a world of pure hurt. Went to the almost midnight breakfast for a little while and hung out with