Title: Symposium on Computer Augmentation of Human Reasoning