We have addressed the economic and intellectual aspects of our field; now we address the social aspect of AD technology. This aspect centers on education and the tools we can offer to enhance mathematics and logic education. There is much need, at least in the United States, for improved performance in mathematics skills and logical thinking at the high-school level, and support should continue into the college years. Earlier, we mentioned past AD contributions to education; also we have noted several times the Chou-Gao-Zhang geometry programs. Although the programs are impressively polished as theorem provers, with proof output in human-readable form, a tutorial environment needs to enclose the programs to provide the setting in which students will use the tools effectively. For logic education, at the base level there are now Tarski's World (Barwise and Etchemendy) [8] and the follow-up Hyperproofs [9]. At an advanced level a portion of the interactive theorem prover TPS [2] has been used at Carnegie Mellon University and distributed to interested parties and has been highly rated by educators. This system, called ETPS, consists primarily of the interactive facilities for natural deduction reasoning from TPS. For reasoning at a somewhat higher level than pure axiomatic systems, where computations can be included as atomic steps, the Interactive Mathematical Proof System (IMPS) [102] offers possibilities for educational use. These tools, and similar tools with extended capabilities, could be very effective in addressing the subjects that are so difficult for many students. Again, a major challenge in this domain is to develop complete educational packages capable of use in isolation. Once achieved, the packages can be sent to thousands of school systems, for use by individual students or for integration into regular courses. (This integration has occurred now at the college level for ETPS [44].) The expertise and support measures needed to actually make this work in school systems will need to come from outside the AD research community, but will need our involvement.