Three Dollar Quill

I was thinking about Dafny stuff, but I didn't really make progress. I felt kind of iffy today, so I ended up just taking it easy, and suddenly realizing that it was much later than I thought.

Nothing good can come of trying to make this entry longer.

Good night.