the two-day
turnaround, in those early days of computing, well, for me,
and I turned once again to the computer as a potential aide.
There were no reasonably adequate automated reasoners around,
not for what I had in mind, so the first thing I had to do was
to set to work on building one.  Long story foreshortened here,
but within five years I had already abandonned the mainrut of
the "resolution unification technic" (RUT) and set out after
the Cibola of "total information reasoners" (TIR's), with all
of th