Slides for the talk at SAKE.