paulfchristiano comments on Trustworthy automated philosophy?