Connor Leahy comments on Daniel Kokotajlo’s Shortform