Daniel Kokotajlo comments on rohinmshah’s Shortform