Except there 's no  no theorem prover involved.
Best explanation.
No , there isn't a theorem prover but there  but  but the , um , The cove the  the P R Ms are like rules of inference and you 're  you 're coupling a bunch of them together.
Mm - hmm , yeah.