Notes from DAC 2013, We Are Tripping Over Our Own Semantics