Gamma(Delta, !A) |- B
=====================
Gamma(Delta; !A) |- B
as well as intro and elim rules seems really disturbing. ! has dereliction in linear, however. Hmm.
I finally moved some plates and forks into my office so eating isn't quite so ad hoc. Got a bunch of work done on the complexity theory homework. It's great when group work really works and people can fill in for each other's confusions and come up with n times as many attempts and ideas.
I stupidly went to Cyert looking for my stipend check and remembered they had already told us it wasn't there. By the time I got back to Wean it was past 5. I'll have to wait until tomorrow for my ph4t l3wt, I guess.