Daniel Kokotajlo’s Shortform