A1987dM comments on You Provably Can’t Trust Yourself