Email Record: Symposium on automatic demostration /