paulfchristiano comments on “Evil” decision problems in provability logic