Daniel Kokotajlo comments on Joseph Miller’s Shortform