CA23 comments on Daniel Kokotajlo’s Shortform