> and a few billion dollars' worth of painstaking research over multiple decades,

That is subsumed in the "faith in Christ" bit. For the religious, the latter doesn't exist independent of the former.