Revisiting the shutdown problem (Part 4: Krakovna and Kramar)

A second shutdown theorem due to Krakovna and Kramar is also unconvincing.