Walter....
As a matter of general interest.
Wasn't it Albert Einstein who came up with a term to explain his deductive reasoning experiments ? I think the original term was in German, ie. "gedanken" experiments. Must check that out.
Gordy