badger comments on Single player extensive-form games as a model of UDT