Three Dollar Quill

Okay, I'm still feeling kind of iffy and out of it, so I haven't made any more Dafny progress today. I messed around with some other code, but I'm probably not going to take it too much further right now.

I'm not up for thinking too hard now, so I'm just going to take things easy for a bit.

Good night.