Yeah , that 's the only way it could work. I  we have a  our local expert on P R uh , but my guess is that they 're not currently good enough to do that. But we 'll  we 'll have to see.
But , uh ,
Uh  Yes. This is  that 's  that would be a good thing to try. It 's related to the Hobbs abduction story in that you th you throw everything into a pot and you try to come up with the , uh
Except there 's no  no theorem prover involved.