[ori_b]

Well, yes -- this is why I still sit down and read the damn books. The machine is useful to refresh my memory.