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.
Best explanation.