LF meeting today was neat. simrob talked about some issues in CLF and Frank explained the things you can do with ordered substructural operational semantics that simrob had already sketched out to me.