The "Challenge & Proof" function bottom page can abstract derivitives of math rigor to simulation results. It's purely data-driven, not theological.