Finished GeneralQuery processing...this means Theroem 4.6 is now
complete...now need to do a bit more plumbing and connect whatever is
left to connect.