Talked refinement types with Donna. I feel somewhat more enlightened about the topic now. Need to get real work done so bad it hurts but I keep staring at paper and/or TeX and making zero progress. Mathematical equivalent of writer's block or something.
Learned something of the usefulness of direct questions in interpersonal interaction, even if they don't produce the answer I might have preferred.