Slides for my Design Logic talk at BADcamp