I am hugely relieved to find that the course Formal Methods in Software Engineering does indeed satisfy breadth requirements. I should have killed myself had it not. Tinelli gave me unwarranted stress just minutes before class. Wonder if he comes up with his fake British accent again today.

Yelena is sitting with Eric and I don’t like it. I wanted to ask her to be my project partner. Oh well.