roko3 comments on You Provably Can’t Trust Yourself