5:01

So while I'm still being productive in spirit, today was not a real winner. I might just go home now. Maybe bring my computer...maybe not.

I'm struggling with the language of more formal game theory. I think I am probably making a ridiculous hash of it, but I suppose one has to start somewhere. It is very exciting to have propositions and proofs--it makes me feel all grownup--but I think they are mostly B.S.