Martin Sustrik comments on Daniel Kokotajlo’s Shortform