Mitchell_Porter comments on Roko’s Shortform