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.
And then ins instead of proving you 're trying to , you know , compute the most likely. Uh  Tricky. But you  yeah , it 's a good  it 's a  it 's a good thing to put in your thesis proposal.
What 's it ?