I just discovered the Horton website. If Alice knows both Bob and Carol, how does Carol get introduced to Bob, assuming Alice is a operatorless computer program, and Bob and Carol are operated by human beings? Is there a term for this that I haven't seen people discussing? John