Email Record: Symposium on Computer Augmentation of Human Reasoning ;