10/11 Agenda Discussion of Transient behavior - Results from last week - Boundary filtering (Ben’s paper 5.1) - Blame entry structure (Lukas’s paper 9.5 and Ben’s dissertation 7.1) Grammar - Requirements (what needs to be expressed) - Proposals for notation - Proposals for metrics